(eq (type-of 2u64) type-u64)
